航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

不合格品控制分析与改进

不合格品处理的目的是当出现不合格品时,能及时、有效地控制和处置.企业在什么条件下允许让步使用,如何采取措施将风险降至最低,对提高生产效率、降低质量成本、保证产品质量至关重要.本文论述了不合格品的常见处理方式,探讨不合格品的预防与控制、让步使用风险与分析,以及停用件处置和使用方法,并通过实例验证了让步使用分析及停用件处置方法的可行性.     

基于神经网络的磁平静期赤道电集流预测

利用BP神经网络技术分别对2008年后磁平静期印度扇区、秘鲁扇区以及CHAMP卫星的赤道电集流（EEJ）变化进行预测，其中神经网络训练数据为对应的2000—2007年磁平静期EEJ观测数据，输入参量为天数、地方时、太阳天顶角、太阳活动指数（F_10.7）、太阴时以及卫星地理经度，输出参量为EEJ.对EEJ预测结果进行了统计学分析，并且与实际观测结果进行对比.结果表明:BP神经网络对事件中EEJ的变化具有很好的预测能力，预测结果能够反映EEJ的重要分布特征；EEJ预测值与观测值之间具有很好的相关性，其中地磁台站观测值与预测值相关性系数可达85%以上.此外，将BP神经网络模型的预测结果与Yamazaki提出的经验模型结果进行对比，结果显示BP神经网络与其经验模型性能相当.研究结果表明，BP神经网络技术在平静期EEJ变化预测方面性能优异，具有良好的应用前景.      

仿壁虎刚毛阵列对卫星表面吸附能力模型与计算

壁虎脚的粘着机理对航天机器人脚掌的研制和开发具有重要启发意义.通过单根刚毛与光滑表面黏着力模型与计算、卫星粗糙表面分布模型与接触概率与计算、刚毛阵列与卫星粗糙表面黏着力模型与计算等，分析仿壁虎刚毛阵列对卫星表面的吸附能力，发现在一定条件下仿壁虎刚毛阵能够在太空失重环境中黏着在卫星表面，对航天舱内爬行机器人、管道机器人的研制和开发具有重要的启示意义.     

基于等效电路模型与CDKF的锂离子电池荷电状态(SOC)估计

锂离子电池在社会生产各领域应用广泛,由于其复杂的电化学系统,状态检测难度较大,给供电保障带来不利影响.结合Thevenin等效电路与中心差分卡尔曼滤波法(CDKF),构建了一种聚合物锂离子电池的荷电状态(SOC)估计模型.MATLAB仿真验证表明,该模型能有效防止安时计数误差累积,电池SOC估计误差不超过5%.     

更高速(400+km/h)列车气动减阻技术发展与展望

合理有效的气动减阻技术是我国研发运营速度400+?km/h高速列车的过程需展开深入研究的重点内容.首先阐述了高速列车气动阻力的基本分布特征,并针对国外下一代更高速列车的气动减阻技术进行了调研,尤其分析了欧洲、日本和韩国的下一代更高速列车气动减阻技术的特征,总结了国外下一代高速列车气动减阻的关键技术与方法.然后根据列车气动减阻技术实施部位的差异,从列车头型优化以及转向架、受电弓和风挡等局部结构优化两个方面对我国目前高速列车气动减阻技术研究现状进行了分析和梳理,同时归纳了新型气动减阻技术的研究现状.最后在综合国外下一代更高速列车气动减阻技术与我国气动减阻技术研究的基础上,对我国更高速(400+?km/h)列车气动减阻技术中可行性较高且效果明显的发展方向进行了展望与建议,为我国更高速列车气动减阻技术的设计与发展提供有价值的参考.     

航天器运输包装箱仿真验证平台技术研究

针对数量有限的物理跑车试验无法满足减振与保温性能测试需求的问题，提出一套航天器运输包装箱动力学与热学仿真验证方法，包括：建立适用于包装箱系统的刚柔耦合多体动力学系统，通过结合线路条件测试生成的动力学系统外部激励，实现减振性能虚拟跑车测试；建立基于计算流体力学的包装箱热学模型，通过模拟自然对流和空调控制，实现包装箱保温性能虚拟跑车测试；基于C/S架构和导航式流程设计思想，建立航天器运输包装箱仿真验证平台，通过实际案例证明该平台仿真结果与实际跑车测试数据具有较高的一致性。     

微等离子体转化二氧化碳发射光谱诊断

火星大气层的主要成分为二氧化碳，如果能够利用低温等离子体方法高效分解二氧化碳，使其转化为氧气和一氧化碳加以利用，可以大幅降低航天员生命保障相关载荷长途运输的成本，进一步提高生命保障能力。低温等离子体放电过程中会产生大量活性组分，可以在数百度温度下实现二氧化碳的高效解离，是具有很大潜力的二氧化碳解离与转化方式。设计了一种尺度在亚毫米级、功率输入为数瓦的直流微槽等离子体反应器，可以在较低气体温度下实现二氧化碳分解。测量了反应器电流、功率等放电参数，采用发射光谱确定了体系中激发态组分，分析了激发态粒子谱线强度随输入电压、稀释气体比例等反应器工作参数变化，利用氮气分子振转谱带测量了等离子体放电区振动温度和气体温度。研究表明，添加氩、氦、氮气均可以增强二氧化碳的分解，添加氦气可以促进二氧化碳的电离过程。稀释气体激发态因具有高能量，可以通过潘宁解离通道增强二氧化碳分解。氦组分激发态的能量高于二氧化碳电离能，可以促进二氧化碳的电离反应。微等离子体内存在强烈的振动 平动非平衡现象：振动温度约为4400~4800K，而气体温度仅为450 ~600K，表明可以通过合理的放电和结构设计，定向将能量注入到振动态，从而进一步促进二氧化碳的振动解离。     

基于模态反转的半球谐振陀螺零位自校准方法

针对半球谐振陀螺的零位漂移问题，本文研究了基于模态反转电路控制技术的零位自校准方法。首先，从动力学模型引入阻尼不对称、频率裂解等非理想因素，讨论半球谐振陀螺的工作机理及驻波漂移特性。其次，通过理论分析模态反转的零位校准以及虚拟进动控制的模态反转技术。最后，基于FPGA数字控制平台，设计并实现了半球谐振陀螺零位自校准半实物仿真实验。实验结果表明，基于模态反转的半球谐振陀螺零位校准，实现了半球谐振陀螺的零位从15 降低至2 ，短期零偏稳定性和长期稳定性也分别提高了11.8％和45.86％，有效地抑制了零位漂移，提高了半球谐振陀螺测量精度。     

纤维织物超高速碰撞热-力学模型与分析

A new thermo mechanical model for fiber fabric of hypervelocity impact is established by using the Johnson Cook model, the Gruneisen equation of state and the FEM SPH coupling algorithm, while some new factors are taken into account such as the heat generation, strain rate strengthening and high temperature softening of materials. Mechanical and thermal information could be obtained with the model, such as penetration, fragmentation, stress and strain, heat generation and temperature field of fiber fabric. The analysis results are in good agreement with the experimental results.